A computational approach to synthesizing guards for hybrid systems
نویسندگان
چکیده
We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given state-based safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching policy does not allow Zeno executions. We demonstrate our approach on an example of switched affine systems and on an application to traffic ramp metering.
منابع مشابه
Hybrid Meta-heuristic Algorithm for Task Assignment Problem
Task assignment problem (TAP) involves assigning a number of tasks to a number of processors in distributed computing systems and its objective is to minimize the sum of the total execution and communication costs, subject to all of the resource constraints. TAP is a combinatorial optimization problem and NP-complete. This paper proposes a hybrid meta-heuristic algorithm for solving TAP in a ...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملTowards a Framework for Tracking Multiple Targets: Hybrid Systems meets Computational Geometry
We investigate a variation of the art gallery problem in which a team of mobile guards tries to track an unpredictable intruder in a simply-connected polygonal environment. In this work, we use the deployment strategy for diagonal guards originally proposed in [1]. The guards are confined to move along the diagonals of a polygon and the intruder can move freely within the environment. We define...
متن کاملSynthesizing Controllers for Hybrid Systems
A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure that the system satisses global invariance over the whole state space. Classical analysis is used to derive a controller given the phases, transitions and global invariance of a hybrid system. The methodology...
متن کاملControl Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints
SUMMARY We examine a class of hybrid systems which we call Composite Hybrid Machines (CHMs) that consists of the concurrent (and partially synchronized) operation of Elementary Hybrid Machines (EHMs). Legal behavior, specified by a set of illegal configurations that the CHM may not enter, is to be achieved by the concurrent operation of the CHM with a suitably designed legal controller. In the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Systems & Control Letters
دوره 73 شماره
صفحات -
تاریخ انتشار 2014